Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
41	408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-04-24 13:47:47 Theoretical computer science Formal methods Type theory Algorithms Programming paradigms Finite-state machine Algorithm Declarative programming HindleyMilner type system RANSAC Monad
42	PDF Document Add to Reading List Source URL: nacloweb.org Language: English - Date: 2014-09-03 17:43:04 East Papuan languages Rotokas language Aymara language Computational linguistics Language Finite-state machine Shengavit
43	Finite State Machine Parsing for Internet Protocols: Faster Than You Think Robert David Graham Errata Security robert david Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2014-05-19 17:41:59 Compiler construction Parsing Formal languages Lexical analysis LR parser
44	Model Checking of Finite-state Machine-based Scenario-aware Dataflow Using Timed Automata Mladen Skelin Department of Engineering Cybernetics, Norwegian University of Science and Technology Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2015-08-24 06:49:38
45	OpenNWA: A Nested-Word Automaton Library⋆ Evan Driscoll1 , Aditya Thakur1 , and Thomas Reps1,2 1 Computer Sciences Department, University of Wisconsin – Madison {driscoll,adi,reps}@cs.wisc.edu Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2012-09-06 17:14:22 Formal languages Finite automata Nested word Words Finite-state machine
46	On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofric Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2012-12-21 03:16:59 Software engineering Unified Modeling Language Computing Theoretical computer science Object Constraint Language ECO Executable UML Postcondition State diagram Event Class diagram Finite-state machine
47	Finite State Machine Parsing for Internet Protocols: Faster Than You Think Robert David Graham Errata Security robert david Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2014-05-19 17:41:59
48	Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:33:11 Formal methods Logic in computer science Theoretical computer science Refinement Predicate transformer semantics Postcondition Program transformation Finite-state machine Invariant Formal verification Aspect-oriented software development Precondition
49	An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email: Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Mathematical logic Theoretical computer science Tree automaton Tree Linear temporal logic First-order logic Finite-state machine Context-free grammar T-tree Automata theory Mathematics Formal languages
50	BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-23 11:27:09 Applied mathematics Models of computation Model checking Fixed-point combinator Abstraction Predicate Abstract interpretation Finite-state machine Function Theoretical computer science Mathematics Lambda calculus

UPDATE